Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
301	J Log Lang Inf[removed]:105–106 DOI[removed]s10849[removed]Formal Models of Awareness Thomas Ågotnes · Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:31:06 Metalogic Artificial intelligence Logical syntax Logical consequence Epistemic modal logic Entailment Logic programming Abductive reasoning Agent-based model Logic Science Reasoning
302	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
303	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
304	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
305	International Journal of Information Security manuscript No. (will be inserted by the editor) J. G. Cederquist · R. Corin · M. A. C. Dekker S. Etalle · J. I. den Hartog · G. Lenzini Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 12:47:09 Propositional calculus Predicate logic Logical syntax Model theory Euclidean plane geometry Golden ratio First-order logic Entailment Function Logic Mathematics Mathematical logic
306	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
307	P RESUPPOSITION S ATISFACTION IN A˚TTITUDE C ONTEXTS AND M ODAL S UBORDINATION YASUTADA S UDO University College London D RAFT #2, AUGUST 7, 2014 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-08-07 09:30:11 Philosophical logic Logical syntax Propositional calculus Presupposition Interpretation Modal logic Proposition Entailment Robert Stalnaker Logic Semantics Philosophy of language
308	Physical capital, knowledge capital, and the choice between FDI and outsourcing Yongmin Chen Department of Economics, University of Colorado, Boulder Ignatius J. Horstmann Rotman School of Management, University of Toron Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2012-04-30 14:12:46 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
309	c Peter King, unpublished BETWEEN LOGIC AND PSYCHOLOGY: B Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2004-04-20 11:31:13 Science Philosophical logic Ontology Semiotics Logical syntax Supposition theory Jean Buridan Truth Sign Logic Philosophy Philosophy of language
310	c Peter King, The Philosophical Review[removed]), 299–302 REVIEW Introduction to Medieval Logic. By ALEXANDER BROADIE. New York, N. Y., The Clarendon Press of Oxford University Press, 1987. Pp. vi, Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2005-02-03 10:24:06 Abstraction Deduction Logical syntax Inference Entailment Syllogism Validity Proposition Logic Arguments Logical consequence

UPDATE